扩展有限递归进程模型

主要讨论离散事件动态系统的建模问题。由ＫＩｎａｎ和ＰＶａｒａｉｙａ提出的有限递归进程（ＦＲＰ）是描述并发离散事件动态系统的有力工具，但在其ＦＲＰ中，没有定义对数据变量的操作和条件转移算子。本文扩展ＦＲＰ包括这两方面内容。最后举例说明扩展ＦＲＰ的描述能力。     

CAD^2B—一个计算机辅助数据库设计系统

本文介绍了一个用Ｔｕｒｂｏ Ｃ语言在ＡＳＴ－２８６机器上实现的计算机辅助数据库设计系统ＣＡＤ＾２Ｂ。该系统提供了人机交互的环境，供设计者进行概念模型设计，并自动完成从概念模型逻辑模型的映射，创建满足规范化要求的关系表。该系统采用的概念模型是引入了事件和时间的扩展了的实体关系模型。该模型既能充分反映应用环境的静态和动态语义，又是向关系模式转化的基础。     

A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation

This paper presents a novel and generic PC/PLC-based software/hardware architecture for the control of flexible manufacturing workcells. The proposed implementation methodology is based on the utilization of any one of the available formal discrete-event-system control theories in conjunction with state-of-the-art industrial programmable-logic controllers (PLCs). The methodology has been illustrated to be a viable technique through its actual implementation in our laboratory using a robotic-workcell testbed. The specific control theory used is a combination of Extended Moore Automata and Ramadge-Wonham Automata that has been developed by our research group. The modular control software architecture has been developed for MS-Windows environments (running on one PC interfaced to the PLCs) and allows the use of different formal control theories as well as different commercial PLC hardware. The effective graphical user interface provides a transparent programming environment, where users are not expected to have a full knowledge of the formal control theory used.     

Quantitative estimation: From the real world to the psychology lab.

Banaji and Crowder (see record 1990-00387-001) contend "that the movement to develop an ecologically valid psychology of memory has proven itself largely bankrupt" (p. 1185). The authors have two primary concerns. First, they believe that it is rare for studies of real-world cognition to support conclusions that generalize broadly. Second, they are concerned that such studies may be inherently incapable of making significant theoretical or methodological contributions. The research program outlined here can be viewed as a response (in the form of a case study) to the Banaji and Crowder position. Specifically, this project has adopted both theoretical and methodology perspectives from the study of real-world memory to address a long-standing issue in the mainstream memory literature. The project itself was designed to characterize the strategies used to estimate event frequency and the conditions that foster the use of these strategies. A valid model of the estimation process is necessary in order to understand the encoding and representation of event frequency. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

防患于未然:水坝潜在溃决模式探究与分析

本文简介三种常见水坝的一些具有代表性的潜在溃决模式和导致这些模式发生的根本原因（即所谓的风险因素和可能的理由），俗云：“不经一事，不长一智”，冀望从过去的溃坝案例中吸取宝贵的教训，以正视每一个可能影响水坝安全的问题。本文略述近期发展的蓄水坝潜在溃决模式分析方法的步骤，借着制度面的革新，透过团队合作方式，以确认、判断可能存在的潜在溃决模式及其发生的相对可能性，采取必要的补救措施。     

A polynomial dynamic system approach to software design for attractivity requirement

Because of the widespread increasing application of Web services and autonomic computing, self-adaptive software is an area gaining increasing importance. Control theory provides a theoretical foundation for self-adaptive software. In this paper, we propose the use of the supervisory control theory of discrete event dynamic systems (DEDS) to provide a rigorous foundation for designing software for reactive systems. This paper focuses in particular on design of software with an attractivity requirement. It studies this problem using the polynomial dynamic system (PDS) model of DEDS. A necessary and sufficient condition for software existence and two algorithms for such software design are presented.     

Individual differences in children's event memory reports and the narrative elaboration technique.

Children between 7 and 8 years old took pan in a staged event at school and 1 week later were assessed using a short form of the Wechsler Intelligence scale for children (third edition) and measures of metamemory, narrative ability, and socioeconomic status. Two weeks following the event, children either received narrative elaboration training (NET; K.J. Saywitz & L. Snyder, 1996) and were prompted with the four NET cue cards at interview; received verbal prompts corresponding to the cue card categories, but without prior training; or were presented with the cards at interview without prior training. Children given verbal labels as prompts recalled as much information as children who received NET training and cue cards. Measures of intelligence were predictive of amount recalled for cards-only children but not for the other 2 groups, indicating that differences in recall between low- and high-IQ groups were attenuated when recall was supported by NET training or verbal prompting. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

单粒子效应对航天器的威胁及空间飞行试验评论（二）

列举了若干航天器因单粒子效应而出现的异常或故障。阐述了单粒子效应空间飞行试验方法和预估方法。总结了多颗航天器单粒子效应空间飞行试验结果。依据空间飞行试验结果，对静止卫星、低太阳同步轨道卫星和椭圆轨道卫星在太阳宁静和太阳耀斑期间单粒子效应作了比较。     

State observability and condition observability for a class of interacting discrete event systems

This paper introduces the concepts of state observability and condition observability for condition systems, a class of systems composed of discrete state components which interact via discrete binary signals called conditions. Given a set of externally observed conditions, state observability implies that the state of the system can be determined from the observations, and condition observability implies that all unobserved input and output conditions of the system can be determined from the observations. In this paper, we present a class of systems which is state observable and condition observable. We present a method to synthesize an observer system to provide state and condition signal estimates for a single component subsystem.